Merge branch 'fix-notebook-tabs' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 15 Jun 2020 20:42:53 +0000 (20:42 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 15 Jun 2020 20:42:53 +0000 (20:42 +0000)
Fix notebook tabs

Closes #2842 and #2841

See merge request GNOME/gtk!2092


Trivial merge